The Structure of the One-Generated Free Domain Semiring
نویسندگان
چکیده
This note gives an explicit construction of the one-generated free domain semiring. In particular it is proved that the elements can be represented uniquely by finite antichains in the poset of finite strictly decreasing sequences of nonnegative integers. It is also shown that this domain semiring can be represented by sets of binary relations with union, composition and relational domain as operations.
منابع مشابه
Incompressible smoothed particle hydrodynamics simulations on free surface flows
The water wave generation by wave paddle and a freely falling rigid body are examined by using an Incompressible Smoothed Particle Hydrodynamics (ISPH). In the current ISPH method, the pressure was evaluated by solving pressure Poisson equation using a semi-implicit algorithm based on the projection scheme and the source term of pressure Poisson equation contains both of divergence free ve...
متن کاملOn trivial ends of Cayley graph of groups
In this paper, first we introduce the end of locally finite graphs as an equivalence class of infinite paths in the graph. Then we mention the ends of finitely generated groups using the Cayley graph. It was proved that the number of ends of groups are not depended on the Cayley graph and that the number of ends in the groups is equal to zero, one, two, or infinity. For ...
متن کاملA Strong Regular Relation on ?-Semihyperrings
The concept of algebraic hyperstructures introduced by Marty as a generalization of ordinary algebraic structures. In an ordinary algebraic structure, the composition of two elements is an element, while in an algebraic hyperstructure, the composition of two elements is a set. The concept of ?-semihyperrings is a generalization of semirings, a generalization of semihyperrings and a generalizat...
متن کاملEffects of T208E activating mutation on MARK2 protein structure and dynamics: Modeling and simulation
Microtubule Affinity-Regulating Kinase 2 (MARK2) protein has a substantial role in regulation of vital cellular processes like induction of polarity, regulation of cell junctions, cytoskeleton structure and cell differentiation. The abnormal function of this protein has been associated with a number of pathological conditions like Alzheimer disease, autism, several carcinomas and development of...
متن کاملElectro-Thermo-Mechanical Vibration Analysis of a Foam-Core Smart Composite Cylindrical Shell Containing Fluid
In this study, free vibration of a foam-core orthotropic smart composite cylindrical shell (SCCS) filled with a non-viscous compressible fluid, subjected to combined electro-thermo-mechanical loads is investigated. Piezoelectric polymeric cylindrical shell, is made from polyvinylidene fluoride (PVDF) and reinforced by armchair double walled boron nitride nanotubes (DWBNNTs). Characteristics of...
متن کامل